|
In field theory, the Stufe (/ʃtuːfə/; German: level) ''s''(''F'') of a field ''F'' is the least number of squares that sum to -1. If -1 cannot be written as a sum of squares, ''s''(''F'')=. In this case, ''F'' is a formally real field. Albrecht Pfister proved that the Stufe, if finite, is always a power of 2, and that conversely every power of 2 occurs.〔 ==Powers of 2== If then for some .〔Rajwade (1993) p.13〕〔Lam (2005) p.379〕 ''Proof:'' Let be chosen such that . Let . Then there are elements such that : Both and are sums of squares, and , since otherwise , contrary to the assumption on . According to the theory of Pfister forms, the product is itself a sum of squares, that is, for some . But since , we also have , and hence : and thus . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Stufe (algebra)」の詳細全文を読む スポンサード リンク
|